81. Computational logic and set theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Set theory. ;
![](/design/images/bookmore.png)
82. Computational logic and set theory applying formalized logic to analysis
پدیدآورنده : Schwartz, Jacob T.,Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory
رده :
QA
248
.
S364
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
83. Computational quantum chemistry : an interactive guide to basis set theory
پدیدآورنده : Quinn, Charles M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing ، Quantum chemistry,، Gaussian basis sets )Quantum mechanics(
رده :
QD
462
.
6
.
D38
Q35
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
84. Computational quantum chemistry: an interactive guide to basis set theory
پدیدآورنده : Quinn, Charles M
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Quantum chemistry-- Data processing,، Gaussian basis sets )Quantum mechanics(
رده :
QD
462
.
6
.
D38
.
Q35
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
85. Concepts in Set Theory
پدیدآورنده : / Mofidul Islam
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Set Theory,نظریه مجموعه ها
رده :
QA248
.
I8C6
2013
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
86. Connected Dominating Set: Theory and Application
پدیدآورنده : / by Ding-Zhu Du, Peng-Jun Wan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer Communication Networks,Computer software,Combinatorics,Mathematical optimization,Electronic books
رده :
E-BOOK
![](/design/images/bookmore.png)
87. Connected Dominating Set: Theory and Applications
پدیدآورنده : / Jun Wan-Zhu Du, Peng-Ding
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
![](/design/images/bookmore.png)
88. Connected dominating set : theory and applications
پدیدآورنده : / Jun Wan -Dingzhu Du
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
![](/design/images/bookmore.png)
89. Connected dominating set : theory and applications
پدیدآورنده : Du, Dingzhu, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Domination )Graph theory(,، Set theory
رده :
QA
166
.
D82C6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
90. Defending the axioms : on the philosophical foundations of set theory
پدیدآورنده : Maddy, Penelope
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Axiomatic set theory,Philosophy ، Axiomatic set theory
رده :
QA
248
.
M23D4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
91. Descriptive set theoretic methods in automata theory : decidability and topological complexity
پدیدآورنده : Skrzypczak, Michal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory,، Machine theory
رده :
QA
76
.
L28
Vol
.
9802
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
92. Descriptive set theory
پدیدآورنده : / [by] Yiannis N. Moschovakis
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
93. Descriptive set theory
پدیدآورنده : Moschovakis, Yiannis Nicholas, 8391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
M675D4
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
94. Descriptive set theory
پدیدآورنده : Moschovakis, Yiannis Nicholas, 8391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
M675D4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
95. Descriptive set theory and definable forcing
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
96. Descriptive set theory and dynamical systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Differentiable dynamical systems,Congresses ، Set theory
رده :
QA
614
.
8
.
D47
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
97. Descriptive set theory and dynamical systems
پدیدآورنده : edited by M. Foreman ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Differentiable dynamical systems,Congresses ، Set theory
رده :
QA
614
.
8
.
D469
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
98. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده : Miller, Arnold W., 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
99. Descriptive set theory and the structure of sets of uniqueness
پدیدآورنده : Kechris, Alexander S., 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
K43
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
100. Differential inclusions : set-valued maps and viability theory
پدیدآورنده : Aubin, Jean Pierre.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Differential inclusions,، Set-valued maps,، Feedback control systems
رده :
QA
371
.
A93
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)